Rigorous verification, validation, uncertainty quantification and certification through concentration-of-measure inequalities
نویسندگان
چکیده
We apply concentration-of-measure inequalities to the quantification of uncertainties in the performance of engineering systems. Specifically, we envision uncertainty quantification in the context of certification, i. e., as a tool for deciding whether a system is likely to perform safely and reliably within design specifications. We show that concentration-of-measure inequalities rigorously bound probabilities of failure and thus supply conservative certification criteria. In addition, they supply unambiguous quantitative definitions of terms such as margins, epistemic and aleatoric uncertainties, verification and validation measures, confidence factors, and others, as well as providing clear procedures for computing these quantities by means of concerted simulation and experimental campaigns. We also investigate numerically the tightness of concentration-of-measure inequalities with the aid of an imploding ring example. Our numerical tests establish the robustness and viability of concentration-of-measure inequalities as a basis for certification in that particular example of application.
منابع مشابه
Rigorous model-based uncertainty quantification with application to terminal ballistics, part I Systems with controllable inputs and small scatter
This work is concerned with establishing the feasibility of a data-on-demand (DoD) uncertainty quantification (UQ) protocol based on concentration-of-measure inequalities. Specific aims are to establish the feasibility of the protocol and its basic properties, including the tightness of the predictions afforded by the protocol. The assessment is based on an application to terminal ballistics an...
متن کاملRigorous model-based uncertainty quantification with application to terminal ballistics—Part II. Systems with uncontrollable inputs and large scatter
This Part II of this series is concerned with establishing the feasibility of an extended data-on-demand (XDoD) uncertainty quantification (UQ) protocol based on concentration-of-measure inequalities and martingale theory. Specific aims are to establish the feasibility of the protocol and its basic properties, including the tightness of the predictions afforded by the protocol. The assessment i...
متن کاملUncertainty quantification via codimension-one partitioning
We consider uncertainty quantification in the context of certification, i.e. showing that that the probability of some “failure” event is acceptably small. In this paper, we derive a new method for rigorous uncertainty quantification and conservative certification by combining McDiarmid’s inequality with input domain partitioning and a new concentration-ofmeasure inequality. We show that arbitr...
متن کاملA comprehensive framework for verification, validation, and uncertainty quantification in scientific computing
An overview of a comprehensive framework is given for estimating the predictive uncertainty of scientific computing applications. The framework is comprehensive in the sense that it treats both types of uncertainty (aleatory and epistemic), incorporates uncertainty due to the mathematical form of the model, and it provides a procedure for including estimates of numerical error in the predictive...
متن کاملRigorous uncertainty quantification without integral testing
We describe a rigorous approach for certifying the safe operation of complex systems that bypasses the need for integral testing. We specifically consider systems that have a modular structure. These systems are composed of subsystems, or components, that interact with through unidirectional interfaces. We show that, for systems that have the structure of an acyclic graph, it is possible to obt...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008